翻訳と辞書 Words near each other ・ Tseung Kwan O Sports Ground ・ Tseung Kwan O Station ・ Tseung Kwan O Tunnel ・ Tseung Kwan O Village ・ Tseveensürengiin Ganbayar ・ Tsewang Dolkar Khangkar ・ Tsewang Dorji Namjal ・ Tsewang Lhamo ・ Tsewang Paljor ・ Tsewang Rabtan ・ Tsewang Rigzin ・ Tsewang Samanla ・ Tsewang Yishey Pemba ・ Tsey ・ Tseycum First Nation ・ Tseytin transformation ・ Tsez ・ Tsez language ・ Tsez people ・ Tseza Gewog ・ Tsezic languages ・ TSF ・ TSF (radio station) ・ TSF Ditzingen ・ TSF Jazz ・ TSF Twipra Student Federation ・ TSFC ・ TSFM ・ TSG ・ TSG 1899 Hoffenheim Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Tseytin transformation ： ウィキペディア英語版 Tseytin transformation The Tseytin transformation, alternatively written Tseitin transformation takes as input an arbitrary combinatorial logic circuit and produces a boolean formula in conjunctive normal form (CNF), which can be solved by a CNF-SAT solver. The length of the formula is linear in the size of the circuit. Input vectors that make the circuit output "true" are in 1-to-1 correspondence with assignments that satisfy the formula. This reduces the problem of circuit satisfiability on any circuit (including any formula) to the satisfiability problem on 3-CNF formulas. ==Motivation== The naive approach is to write the circuit as a Boolean expression, and use De Morgan's law and the distributive property to convert it to CNF. However, this can result in an exponential increase in equation size. The Tseytin transformation outputs a formula whose size has grown linearly relative to the input circuit's. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Tseytin transformation」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.